More from this Author

Foundations of Security, Protocols, and Equational Reasoning

by Joshua D. Guttman (Editor), Carl E. Landwehr (Editor), José Meseguer (Editor), Dusko Pavlovic (Editor)

VLISP a Verified Implementation of Scheme

by Joshua D. Guttman (Editor), Mitchell Wand (Editor)

Formal Aspects in Security and Trust

by Pierpaolo Degano (Editor), Joshua D. Guttman (Editor), Fabio Martinelli (Editor)